home *** CD-ROM | disk | FTP | other *** search
- Subject: Re: Proposal
- Date: Wed, 1 Jun 1994 16:49:56 +0200 (MDT)
- In-Reply-To: <C24C506635@edi.ngate.uni-regensburg.de> from "Rainer Riedl" at Jun 1, 94 03:35:00 pm
- From: Annius.Groenink@cwi.nl (Annius Groenink)
- X-Face: "E3Hm]k]&:,OEP<{D2ixJf>-9[qOGLebNa0&cQyFL-a~)kTM3&&I"gFw=fJ]K%1IduGjOE`
- ZGu]&~G]QNGa7i/L!+#Xng<|+}HKYHj~5?fTInUEUh0$I1gBI7jrA!&_|e/pR1[cX:^xgJTPsrjA_9
- m8Zli[|.-u{]+c1(6C7mL*m`/_J\>.{4!:g
- Mime-Version: 1.0
- Precedence: bulk
-
-
- > > Undo - Undo Last op
- > > CTRL Undo - Redo last op
- >
- > Why? Hasn't it the same effect to press Undo twice (Undo Undo)?
-
- No. Redo means 'repeat'! Check out the Edith demo version.
- Type a few words on a line (up to 32 characters) and press Control period.
- It will repeat what you've previously done on that line.
-
- Control Undo would be a reasonable shortcut for that. Too bad for me
- that I'd already bound that to 'Reload' (or: undo all changes since
- last saved). I'll have to move that to Shift + Control + Undo, then :-)
-
-
- --
- Annius V. Groenink | E-mail: avg@cwi.nl | Private & ZFC:
- CWI, Kruislaan 413 | Room: M233 | P.O. Box 12079
- 1098 SJ Amsterdam | Ext: 4077 | NL 1100 AB Amsterdam
- Netherland | Phone: +31 20 592 4077 | Phone: +31 20 695 9901
-